bench_dir=$1
exec_bin=$2

pbs_dir=$bench_dir/pbs
create_pbs_bin=scripts/run_basic/syntcomp23/new_sed2.sh
mkdir -p $pbs_dir

sh $create_pbs_bin $bench_dir $exec_bin Patterns/GFand  > $pbs_dir/GFand.pbs
sh $create_pbs_bin $bench_dir $exec_bin Patterns/Uright > $pbs_dir/Uright.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Single-Counter/System-first > $pbs_dir/Single-Counter.pbs
sh $create_pbs_bin $bench_dir $exec_bin Two-player-Game/Double-Counter/System-first > $pbs_dir/Double-Counter.pbs
